Nuprl Definition : ab_binrel
13,42
postcript
pdf
(
x
,
y
:
T
.
E
(
x
;
y
))(
x
,
y
) ==
E
(
x
;
y
)
latex
Up
gen
algebra
1
Wellformedness Lemmas
ab
binrel
wf
origin